Status report on the SIGCSE committee on the implementation of a discrete mathematics course