no Eq for Denotes due to 2.10.4