[m-dev.] Inductive goals

[Mark Brown]

Hi Xiaofeng,

On Wed, Jan 22, 2014 at 8:35 PM, Xiaofeng Yang <n.akr.akiiya at gmail.com> wrote:
> Hi, all.
>
> Though I'm not a native english speaker, but I think that the keyword 'do'
> looks so imperative. It's a good idea to use another keyword to make it look
> more declarative, for example, like 'for ... that P(....)' .

Good point. As English verbs go, 'do' is about as imperative as you can get.

Perhaps the right word in English is 'ensure'. As in:

    for X maps Xs, Y maps Ys ensure P(X, Y).

Since you're mentioning the concrete syntax, is it safe for me to
assume you agree with the semantics and abstract syntax?

Cheers,
Mark.