The most interesting statements and their truth values according the goalkeeper-model and the lock-key-model.

Evidence: A: [28, and many others], B: [28], [37], C: [16], [17], [19], [38], D: [16], [23], [38], [39], E: [16], [22], [23], [38], E′: [16], [22], F: [35], [40], I: [17], [19], M: [19], [35]. Formal proofs: Text S1.Statements A-F are from [14]. It is assumed that each strain can rescue itself.