λ _. impunit 〈〉