For curiosity’s sake, what were these things referred to historically and informally?