AI app: Clausework: every clause closed by evidence for WeAreDevelopers x BAND present: Da