small syntactic changes to make the assumptions in Facebook-PHP model more clear