The current goals entry with substitution already applied, or null if there is none left to prove.
null