Contextual Abductive Reasoning with Side-Effects Luı́s