computational philosophy of checks — Deca