No theorems yet developed for symbol Membs2