Trap Logic