The logic layer for FYP