Discrete Structure Realstar - Notes