Support code for the CEK assignment