Proved MonicSetPresent