Stream Terminal with axioms