Goal given.

Stelling.