Implementation Of Frozen Objects Into Spec#