K ( T4S3: .