Added SealedPropertyInitializer