Angelic derivables (Explicit)

New flow (Explicit)