holding

Defines the AssertionGroup (or the fixed part) holds