formula-ideal documents