l▷ ASSERT WITHOUT PROOF - 4-6 letters