@michalecki: Well, formally