Everything file added
	new file:   Everything.agda