Completed the spec for ZeroDim