[finite-model-theory] WCP6 and SQUARE7 - Deadline Extension: May 31st