to a target  that is always necessarily true for any instance of the source .

Notes

Example

Alternatives

Related Links