Exactness (1)