Activity for ImplicitCAD