K-Statement

Following