Emilian Bold Fri, 06 Oct 2017 12:43:24 -0700
README.close_semantics seems to have some meat. So I'd rather add the license header to these too.
What do you say? --emi