corexcontinuous
corexdiscrete
corextext
linearcorex
