proper inclusion of conditional groups
renaming complete to specification!