Driving preferences examples. Formal equivalence and dynamic equivalence difference example. Doom 2016 Chaingun. Yale philosophy course.