// Example 2 (I&C)
P
>=
0.98
[
G
!"
err_G
" ]
Pmin
=? [
G
!"
err_G
" ]