This is joint work with Cueca, Dorsch, and Zhu. We propose a setting for a theory of derived stacks and Lagrangian intersections in the category of smooth manifolds that we hope can serve as an alternative to the theories developed by Calaque and Pridham and others.