A Precondition
prev / next