Implicit statements