clausal
not defined yet