Implement symbolic constraints and un-hardcode 'top' and 'right'.