What is three plus seven?