the first formal version