Title: Card-punch theory with graded exercises