Thm * @ Palm,