Implication Details

Assumptions: terminal object

Conclusions: filtered

Reason: This is obvious.