Use simplified propertyvm stuff