Working on A1 theory questions.