Correctly wire asserter