Redid a good part of infer to deal with the bound variables