Fix spec to not violate the given invariants.
Fix spec to not violate the given invariants.

[Tests][Performance]

lemmy/tlaplus,tlaplus/tlaplus,lemmy/tlaplus,tlaplus/tlaplus,tlaplus/tlaplus,lemmy/tlaplus,lemmy/tlaplus,tlaplus/tlaplus