crystallise for deduction