generation of design docs; boolean operations done