Deducing structures

Deducing structures