removed diff function, styling for witnesses