greater than all ~ 02_EXO_18_11 ~ greater than all ~ 41_MAR_04_32 ~
 is greater than all ~ 02_EXO_18_11 ~ is greater than all ~ 43_JOH_10_29 ~