i know the rules of finite expansion but i just want to know why do we need it and what does it mean ?