Front-Door Identification Formula