Title: The constraint-based paradigm