Text this: Constraints in computational logics :