Manpages of strip-nondeterminism