Mention potential proof using pseudodimension.