Use @Contra's implementation instead