rules partially defined