syllogism comments on Notes on Autonomous Cars