Ersatz.Variable
class
Variable
t
forall
exists
class
GVariable
f
genericLiterally