@Efi no rhetorical question unanswered!
i guess proof by construction?
*goes to board*
we start with 's'
s
then,
l
i
m
e
slime
bam, motherlovers!
@Efi when you have a given set of symbols, you can also prove things by using the method of cheers.
squad: give me an s!
chorus: s!
squad: give me an l!
chorus: l!
squad: give me an i!
chorus: i!
squad: give me an m!
chorus: m!
squad: give me an e!
chorus: e!
squad: what's that spell?
chorus: slime!
squad: what's that spell?
chorus: slime!
squad: go slimes!
*orgiastic sports violence*
As member of the chorus you can agree to propositions prompted by the squad.