mistake in tau def. of prop.2