Cleaned up an inference rule
Cleaned up a bit more