Download 0 1 Laws For Recursive Structures