Type alias BoundaryAssertion