[plt-scheme] equal? and shared structure

Under what circumstances will equal? terminate with the right answer 
when given cons-structures with sharing (and possibly cycles)? The two I 
concocted for homework seem not to break it, but others do. Thanks. --PR