14:03:28	 From Run : yes
14:03:29	 From Nick Good : Yep!
14:10:01	 From Daniel Berry : []f -> [](<>f) ?
14:10:08	 From Nick Good : I say yes
14:11:36	 From Daniel Berry : []f -> <>([]f) ?
14:11:53	 From Nick Good : I say yes again
14:12:00	 From Nick Good : woohoo
14:13:39	 From Daniel Berry : whenever
14:15:33	 From Nick Good : Does is it prevent?
14:15:48	 From jaxon : I don't think it prevents
14:15:54	 From Daniel Berry : Does Of prevent []f?
14:16:08	 From Nick Good : Oh I don’t think next state prevents henceforth
14:16:25	 From Daniel Berry : []f -> Of?
14:16:40	 From Nick Good : I think so
14:20:50	 From Nick Good : What do you mean when you say there is no boolean operator ?
14:22:31	 From Daniel Berry : A -> B
14:22:53	 From Nick Good : That makes sense!
14:23:19	 From Nick Good : ohh
14:23:39	 From Nick Good : Yes!
14:27:24	 From Samir : "henceforth and eventually may be in the future"
What's the difference between the two?
14:28:05	 From Samir : gotcha yes
14:30:20	 From Daniel Berry : F U g -> <> g
14:31:31	 From Samir : It says f is true until g and false otherwise though?
14:32:14	 From Samir : oh okay
14:32:37	 From Daniel Berry : []f -> fUg
14:33:00	 From Samir : yea makes sense
14:33:54	 From Nick Good : Why does f until g -> <>g ?
14:34:47	 From Nick Good : oh
14:34:50	 From Nick Good : gotcha
14:35:10	 From Nick Good : haha no worries
14:35:25	 From Samir : This example doesn't guarantee that rotating will evaluate to false once enter is true right?
14:35:44	 From Samir : thanks!
14:36:46	 From jaxon : can f until g -> <> f ?