usage triviality