move arguments for prove around