Mathematical constraints