19:51
<jschoi>
I’m a bit concerned that Waldemar expressed new discomfort with @ being the topic token today. He seems to think there might be real parsing ambiguities, which I don’t yet understand. But I guess we shouldn’t discuss this in earnest until we update the spec with concrete productions that he can point at during pre-Stage-3 review.