RV Logic Makes No Sense

11