Completed renaming of AtMost to Take