homework of PL