Regarding, re.
Abbreviation of "recursively enumerable"; the class of decision problems for which a 'yes' answer can be verified by a Turing machine in a finite amount of time.
On.
Physically directly supported by.
Being followed by another so as to form a series.
Physically above and in contact with.
At (a prescribed point in time).