formal logic pmo sometimes