Logic#plm