Alligation definitions