2 ms·

Yes. It's great!! They actually can actually reason about what they have build and show it has specific properties.