Wall for Isabelle18L