added triviality test