The Boogie Variant and Division