prove take_0

Merged Ralf Jung requested to merge ralf/take_0 into master

This is taken from Perennial.

Merge request reports