"amiga" is a brand name of a type of personal computer.