Stub of the first rule