"Formica lugubris"@cs .