Fair point . So Something more formal than just words But less hard to read than yellow paper notation Ameniable to automated verification <| sep |> Alright Kirk . This is where legends are born . Let ' s do this . <| sep |> Kind of happyrelieved to see this today , came at a pretty opportune time . I ' ve been having abdominal pain on and off for the past 6 months it would get really bad if I went without eating for a few hours , then would get better after eating , then come back again later . Usually pretty difficult to go about daily life . It had completely disappeared for a couple months , especially improved after going meatless last month . Then it came back suddenly a few days ago , just like it had before . I was panicked , reading webmd the whole day , convinced I had some horrible cancer . Eventually decided it was IBS to get myself to calm down . I think I ' ve struggled with depression for a long time , though I ' ve never been diagnosed or treated . I ' m sure I haven ' t been the same since my dad passed away 5 years ago . But I kinda push those feelings down and get on with my life . Guess it ' s finally caught up with me haha .