Deduce (INT)