removing concepts that proof not be applicable