additional test of latex Implies grouping