Båda dessa alternativer hafvafunnit