statements I believe to be true

Here is what I currently understand to be true:

• Every Physics Derivation is comprised of discrete steps.
• Each Step in a Physics Derivation has a single Inference rule. 
• Every mathematical expression in a Physics Derivation can be written in Latex. 
• There are some math expressions which cannot be written in a given CAS
• example: definite evaluation after integration, like (x+y)|_{a}^{b} in SymPy
• There are some derivation steps that cannot be expressed in a given CAS
• There is not a 1-to-1 correspondence between a CAS-based graph and a Latex-based graph. 
• There are many gradations between "text" and Latex and CAS and proof. 

The consequence of the CAS-based graph not having 1-to1 correspondence with a Latex-based graph is that the current data structure of Latex and SymPy in one graph is not suitable.