ILP02366 HOL Modern Snowflake Set 6