implement the 'completeness' tests