Outline of a logic of knowledge of acquaintance. (2nd June 2018)