Variables and definitions