Tactics in the foprop project