Add second invariant 

#3191