#221150 dict-gcide: Missing definition: eliminativism