¹The reason is that methods may cause side effects and we do not want the computation of program expressions to cause side effects