fiddling with the monstrosity that is betaeta quote
	modified:   BetaEta/Quote.agda