with intmap fpr intterms