Started the assumption branch