prove using first order logic
if everyone on wasteof liked this post, it would have more than 2 likes
i trust that google follows first order logic, comhratulatkks
