runtime constraints