title banner
compute its existence