Title: Abduction! Lib/E