formal probate subgroup of probate, 2 assertions