Hot: p-completeness