A tool for a discrete math homework