'rep' leads to classical logic
	new file:   Paradox.agda