SELENOK and inflammatory bowel disease: Similarly, selenoprotein S (SelenoS) and selenoprotein K (SelenoK) have been implicated in inflammation and IBD [12,13,14].