Parsing the legality of Trump's ban