Abuduction (Explicit)

$$$ Align (Explicit)