A module to solve Takashi's problems