Minor mistake in implies.