formal version