The logic of partial supposition. (16th January 2021)