#TOCL #theory of constrained logic #constraints #theory