Formal Visual Balance