WIP: skel for the model Booleanizer