Declare completeness