assumption in Wingdings is ♋︎⬧︎⬧︎◆︎❍︎◻︎⧫︎♓︎□︎■︎

The minor or second proposition in a categorical syllogism.