Use precond to check preconditions.