A rough draft

Still needs formal model for 4b.