Added assumptions and structure.