...ing real-world problems — including calculating inheritance shares according to Islamic law, which was an explicit motivation ...