module M1 where log x = x