`Preconditions`?