But this is never enough - only some variables can be given simple constraints, while others would require complex specifications: how might it be specified that variable P is to be a prime number, and if so, is or is not the value 1 included?
Али то никада није довољно - само неке променљиве могу дати једноставна ограничења, док друге захтевају сложене спецификације: како би то могло бити прецизирано да променљива P да буде прост број, и ако јесте, јесте или није вредност 1 укључена?