EECS double major?