Operational Tax Theory