Starting on the first group of assumptions rules