have something that can be reasoned about. But not working.