Li-Fan Chen says to YSITD
Satisfy Module theories