#resultant is an unknown category identifier.