I am having trouble translating sentence 7 on 11.20. This is the one where we are asked to translate “Only dodecahedra are larger than everything else”. I am unsure of how exactly to translate “only”. At first I had ∀x ∀y (Larger(x, y) → Dodec(x)), but it keeps saying it can’t determine if this is correct. If anyone has any ideas that would be great! Thanks!