down first and ~ 42_LUK_14_28 ~ down first and ~ 42_LUK_14_31 ~
 not down first and ~ 42_LUK_14_28 ~ not down first and ~ 42_LUK_14_31 ~