Proving Squad Logic Controls