Filter_mathematical theory completed.