Added link to stack assumption