added Binet formula