added comments for assumptions