117 reputation
4
bio website
location
age
visits member for 1 year
seen Mar 22 at 11:07

Jan
29
comment Get rid of an existential quantifier
yeah thank you. i've edited my question