Well you can require arbitrary expressions, but th...

# announcements

[karelpeeters]

Well you can require arbitrary expressions, but that doesn't mean the compiler actually understands them. It doesn't support < comparisons, and it can warn you about that when you write implies (bar < 10).