Default implementations for rule functions and a few tests to look at later