In the Lahiq case taught, which pair explains Ada resembling Qada?

Ada and Qada: The Required Act and Its Substitute