Moved our gui specification out of main