An argument entirely symmetrical to the one that shows how trivially we can restore the fourth condition by conjoining 'and I believe that (via M)' allows us, equally trivially, to falsify the third condition