Какой принцип помогает не тестировать все варианты проверок ?