HTApp skelington and lemmas