Wall for Isabelle0141