Loop Law and PEXA are now integrated!