modified proof attempts in intensional version slightly
modified proof attempts in intensional version slightly