proof based calculus is a beautiful subject, but also a very difficult one (for me, at least). final