Read&Defs