ok
spec constr interesting stuff