add wrapper function "correcthorse"