Challengeable transactions revisited