Code formatting and preconditions