add alldefi #4

Closed jimmyllee098 closed 8 months ago