Deducing the