Verisimilitude and distance in logical space · Study