Fixing duplicate entries for Tychaia.definition