Mixed Implicit And Normal Rules