Title: The metatheory of the elementary equation calculus