Steel Abstraction via ck/ck