It was one of those mornings when the air seemed so cold and grey that at any moment it could shatter like glass and fall away. Teetering down the road in high heels I could barely walk in at the best of times, I clung onto my friends arm for support - perhaps too optimistically as he was having equal trouble staying stable himself, faring marginally better only because of his lack of 3 inch heels. We had wandered straight into a britpop album cover circa 1996.

(they keep messaging me, these lost girls - brief windows into their lives which are both beautiful, and sad. It makes me realise that, although I am a girl who does a little too much of everything, I am not the only one. We are blessed and cursed and sometimes, I just wish they could see how wonderful they really are. It isn't right, really. Keep sending me letters from the trenches, you funny little angels - I will keep telling you to keep your chin up, forget the bad boys, treasure the good ones, and soon we will meet up and toast to the world until gin blossoms grow everywhere. I'll come by with ice cream and the number for takeaway pizza and we will laugh about it all, concoct a battleplan and find our way back home again. I am the patron saint of lost girls, remember)

I was on a mission last weekend to get out of my head, I think. I'm not really sure what I was trying to prove to myself but hopefully I got the message. My body still feels a little poisoned; all the peppermint tea in the world won't clean my mind, although I am giving it a good try. There was lots of laughter, and Bansky jokes ("stop writing my fucking name everywhere - Bansky" "This will look good in the guardian - Bansky") and star wars videos, me and Zoe making dens and displaying habitual environmental resourcefulness, random encounters, missed opportunities, Geordies drowning in the biggest k holes I have ever witnessed, and watching the film "kids" (the one about aids and rape), as well. on ket. the fucking nutters. I can't think of any activity less appealing frankly

I woke up early this morning. It felt good, to actually turn up somewhere on time, I think perhaps a personal best. We learned how to express arguments logically using PL, which I have to grudgingly admit, does make sense and has finally provided me with a justification for having learned algebra and all that jizz at GCSE. I can just TELL it's going to end up pissing me off though, mostly because my brain just sees anything numeric or logical and tends to go off in a sulk stamping it's feet and crying "nu uhhhhh." So I'm going to be spending this semester trying to work out wffs and tearing my hair out


From "Qa", we get generate wffs such as "∃xGx", "∀yGy".

From "(~Pa→S)", we get "∃y(~Py→S)" or "∀x(~Px→S)".

From "(Qa↔Qa)", we get "∃x(Qx↔Qx)", "∀z(Qz↔Qz)" (But not "∃x(Qx↔Qa)"!)

From "(~Qa→Qb)", we get "∃x(~Qx→Qb)", "∀z(~Qa→Qz)" (But not "∃x(~Qx→Qx)"!)

From "~((Pa&S)↔(~Fb∨Ka))", we can get :
"∃x~((Px&S)↔(~Fb∨Kx))",
"∃x~((Pa&S)↔(~Fx∨Ka))", etc.
(But not "∃x~((Px&S)↔(~Fb∨Ka))")



OH FUCK