Class meeting for 10-605 Scalable FOL