K-Type (combined statements)