this is why we still do proofs and derivations in physics imo