into: Goal ~> Goal

Examples

    TODO

Metadata