direct deduction

Examples

Nothing found