All tagged forward solving