Update ideals.md