Comment by im a lonely mf on Isabelle

you exposed half of these readers and me