a =>
    SYNONYM: b