Key definitions