Published 2021-08-14T11:12:00.006Z by Physics Derivation Graph

What are my acceptance criteria for a new inference rule? How do I know when something is atomic versus when it can be broken into existing inference rules?

Does inversion matter? The following are redundant:

"add X to both sides of expression" is interchangeable with "subtract Z from both sides of expression"

and

"multiple both sides of expression by X" is interchangeable with "divide both sides of expression by Z"