"Name forms" with slapo-constraint