satisfying expression