crystallize within constraints (extended)