using INF, new equations