Proofs of our moral theories (video recommended)