Implement IntRule