← On Logical framework analysis (logframes in ... - …