assert( (y >= 1.0 ) &&      // condition 1
        (x <= 10 ) &&       // condition 2
        (y <= 10.0) &&      // condition 3
        (x > 0 ) &&         // condition 4
        (y <= 14.0 - x ) && // condition 5
        (! aStack.isFull()) // condition 6
);