Add Given, as precondition