Use colons not equals in precondions