more work on IL1 definition sequences