Quasi-compact

Summary