Added spec definitions