FORMAL FW 1