formal trial