Mention initial assumptions