Modulo Definition Computer Science