some more work on II.1.19