add Khaled, remove duplicates, nicely formatted, __mod__