IBM Bob Hackathon team: LEDGER LOGIC