[CST-2] Opt Comp quick question

[Peter Taylor]

> So do you really get 5 marks for writing down
>
> not f# => not a_{t+1}#
>
> or have I missed something big?

I thought it prudent to write down also
a_{t+1}#(d_1, ..., d_n) = 0 <==> ((forall i. d_i = 0 <==> x_i = _|_) ==>
a_{n+1}(x_1, ..., x_n) = _|_)
and a similar expression for f# with ==> for the first <==>. So I don't
think you missed anything big, but perhaps should play it a bit safer.

Peter
=====
Peter Taylor
pjt33@cam.ac.uk