Hoederer and Executor Trivialising H13-4