And when that is true, it tells us that fourth idea. We know that if the students are able to make their own decisions, these teachers apparently have the power to make classroom decisions. So we can infer these teachers definitely have power to make their own classroom decisions. But we can't go backwards in a conditional chain. So I have no idea whether they're effective. I have no idea whether they are helping their students become independent learners.