edit - PhAT constraint