I know that Machado family bjj is derived from the Gracie lineage because Gracie taught Machado brothers. I heard that Machado's bjj is different from Gracie's. If so, what is the difference? Also, I heard that Machado's is more practical and street oriented and Gracie's for competitions. Is it true? Hoping to hear from someone that is familiar with both styles.