--- Implemented abstraction for 'und' instances: read case