Aihe: Discrete structure