Does the number of arguments need to be the same as the number of premises? If so this PR can be deleted otherwise, it fixes this typo.