expressions to solve later