Notes on Strict System Equivalence