Added function specification to functions