append ^^
forgot this too
isabelle improving