added assertions we forgot to write due to carelessness.