I thought that old + verifiably secure combine for the safest property in a crypto algorithm