10:09:53	 From  Thomas Del Vecchio : Match 0 or more?
10:09:54	 From  Neil Ramaswamy : As many as you’d like?
10:09:56	 From  Christopher Wolfrram : Repeated some number of times (at least once?)
10:12:29	 From  Justin Sanders : Is that omega the same omega as in limit ordinals?
10:13:00	 From  Christopher Wolfrram : Is there syntax for non-repeating sequences?
10:13:32	 From  Christopher Wolfrram : For example, we switch between two states every n steps where n increments every rotation
10:14:54	 From  Christopher Wolfrram : yes
10:18:41	 From  Christopher Wolfrram : no
10:20:12	 From  Christopher Wolfrram : I don’t think that is meaningful
10:21:09	 From  Christopher Wolfrram : It’s like saying “p” instead of ”for all p, Ap” (for some predicate A, object p, etc). “p” has no truth value on its own
10:21:16	 From  Thomas Del Vecchio : Bullet 1 seems to say that we look at the first state in the trace?
10:22:22	 From  Jiahao Yuan : is this like a SAT problem?
10:24:05	 From  Neil Ramaswamy : w^1?
10:24:27	 From  Christopher Wolfrram : If beta is true in the trace 0+1
10:25:32	 From  Christopher Wolfrram : Rule 1
10:27:49	 From  Thomas Del Vecchio : stream
10:33:06	 From  Christopher Wolfrram : Could we write infinite specs?
10:34:27	 From  Christopher Wolfrram : yep
10:35:33	 From  Thomas Del Vecchio : non-determinism
10:35:49	 From  Spencer Dellenbaugh : something like "the light alternates on/off"
10:38:58	 From  Neil Ramaswamy : If LTL is about individual traces, why can’t we have a there exists?
10:41:30	 From  Neil Ramaswamy : Got it
10:42:20	 From  Monica Roy : so in LTL, each expression corresponds to a singular trace, right?
10:43:30	 From  Monica Roy : that makes sense!