Arthur–Merlin_protocol loading ...