Featuring the ABIGAIL Framework and the David Framework