Problems 256-257 from univer