to_my_surprise: Goal ~> Goal

Examples

    TODO

Metadata