Otto
superposed
RAMs
dons
McNaughton
antipodal
implies