\input zb-basic
\input zb-ioport
\iteman{io-port 50329388}
\itemau{Johnson, Daniel M.}
\itemti{Proper function and defeating experiences}
\itemso{Synthese 182, No. 3, 433-447 (2011).}
\itemcc{}
\itemut{}
\itemli{doi:10.1007/s11229-010-9752-0}
\end