Skript: typos
U3 backwards substitution
U3: much clearer backwards subs