VSP's variable-sharing condition is necessary but not sufficient for relevance in the sense demanded...