Formal synthesis of osladin based on an activation relay process