Computer Logic is almost finished