Erg, semantics, sorry. What I meant was that the boolean operation should survive the export. In other words, if you subtract cube A from sphere B, the ideal would be to be able to export a sphere with a cube-shaped hole in it, not to export a sphere/cube combo item. :)