better names for view_defs