refactoring VC, relational vs state properties