Why do we need these three assertions??