robots (300391077) 'distinguished from' automata (300231323);