prettier display
printing requirements. wip on satis/non-satis