This article begins with a problem statement from one human (myself) and is a record of joint reasoning where logic was ...