Fix lemmorna and double är