Fixes abduction rule

Cosmo found this at #777
Might affect #782