Perhaps we can have a view spec that asserts the correct behavior for each of these logic paths.