Skip to main content
3 events
when toggle format what by license comment
Nov 6, 2009 at 8:43 comment added Mensen Dear Aaron, I am happy with the existence of a point!
Nov 6, 2009 at 8:35 comment added Aaron Mazel-Gee Sorry, I think I may be confused about the order of your quantifiers. Does this have to be true for any point, or does such a point just have to exist? It seems like you're clear on the fact that you want the ant not to return for <i>any</i> initial orientation...
Nov 6, 2009 at 8:32 history answered Aaron Mazel-Gee CC BY-SA 2.5