why would proficiency reduce the DC, that is not how D&D / 5e works. The DC should be static and the bonus added to your dice roll, so in the example presented +2 (proficiency) + 3 (INT) should mean you get a d20 roll (3) + (5) = 8 vs. DC 10 - FAILED. This is important because it can be shown to the player and I've no idea why the game would be programmed to take the backward method of subtracting proficiency/bonuses from the DC. Everything since the 2nd edition THAC0 (To Hit AC Zero) has done away with subtraction based math and instead has been about applying bonuses. Why go backwards in how it is presented?
