Venkatesh Rao@vgr🧐Quote TweetMeng Weng Wong@mengwong·Nov 13, 2020Replying to @QiaochuYuan and @vgrOtoh, the mathematician / time traveler responsible for much of the prior art in temporal logic was named Art Prior1:21 AM · Nov 13, 2020