proved set-set and get-set law for Decoration, stuck on set-get