I believe the brute force method is complete. Let's hope.  We should create a pretty print