Add more implicit equations