Final (?) version of world constraints