チオチモリンは、アシモフが考え出した、冗談物質だよね