Proposition CK
22 following