웜톤은 쿨톤 하위호환 아니냐?