Logic 2.3.7

Just a recount of the open questions from previous releases: