inferCore Let