Propositional, so no exists or foralls, but yes for ORs and NOTs. Acyclic only.