completeness under incompleteness sdvx