Consistent K (ycbc0501)

Nothing here yet.