We don't handle guards, for now