Aligning Theories With Div