up_to: Goal ~> Goal

Examples

    TODO

Metadata