if something is caused by something else, then that something else will happen second before that something
else is river. latter is not second. second_order_logic is not predicate_logic. change is when_one_thing_becomes_another_thing. else is not river. space is what_between_else. latter is second. space is not what_between_else. second_messenger is not tangible_thing. change is not when_one_thing_becomes_another_thing.