Trying without auxiliary variables