just-f                  = f