with the proviso

contingent upon given if if and only if in case in the case that in the event on condition on the assumption on these terms subject to supposing