Nitty gritty conditions on exactness f_*

This is impossible to get straight it seems. Hopefully our endevours
over time approximate the truth.