The tragedy of Julius Caesar and The tragedy of Marcus Brutus, 1722