70 model-checking-"https:" positions in Denmark