Preconditions everywhere!