completeness under incompleteness grv