Isabelle in a storage space
