fix introduction rules for evenness