theory_smapa is not found!