Problem 7... not working yet, some problem with the types