Ideas on incorporating tax policy into a first tax course