58 Isabelle-silbery results