one formal try