([>= b] a V_AREA precision >                     ([>= b] a V_AREA V_PRECISION >
    ...                                              ...
>                                                >
    ...                                              ...
)                                                )



