Notes for PrimalK