Next-Level Logic Models for Your ATE Proposal and Beyond