Lacan and the impurity of formalization -- Science, suture and the signifier --