Hot: completeness