// Maximum expected profit that the two investors
// can guarantee, working collaboratively
//<<investor1,investor2>> R{"profit12"}max=? [ Fc "done" ]

// Maximum expected profit that investor 1 can ensure it achieves
//<<investor1>> R{"profit1"}max=? [ Fc ("done1"&"done2") ]

// Maximum expected profit that investor 1
// can achieve with the help of the market
//<<investor1,market>> R{"profit1"}max=? [ Fc "done1" ]

// Maximum probability with which investor 1
// can guarantee a share value greater than 5
<<investor1>> Pmax=? [ F ("done1"&v>5) ]