old windmill subgroup of windmill, 1 assertions