add labilol et simplify elementary ruls