Two-entry target-last absorption: every two-letter word absorbs any new target with at most one helper

Initializing...

Two-entry target-last absorption: every two-letter word absorbs any new target with at most one helper · Prove2Me