Added two new invariants and updated pending submission list.