Don't know if one uses @published or @PublishedProperty