Allowed and forbidden regions appear to be correct