In this task, you are given a set of context paragraph and some supporting facts to answer a question. Your task is to generate answer for given question based on set of context paragraphs and supporting facts.

Context_1 : "Wings of Tomorrow" is Stratovarius's fourth single released in 1995 through T&T. The song was made for Greece's national basketball team. It contains two songs from Dreamspace and a new song for the upcoming album Fourth Dimension, introducing the new singer, Timo Kotipelto. Context_2 : Blackoustic is a collaborative acoustic album by Stratovarius and Cain's Offering vocalist Timo Kotipelto and ex-Sonata Arctica and Cain's Offering guitarist Jani Liimatainen (credited as Kotipelto & Liimatainen). The album was released on October 19, 2012, and entered the Finnish charts at #13 the first week. The album is self-financed. While initially only sold during performances, the album was eventually released through the Earmusic label, which had released the prior Stratovarius albums since "Polaris". Context_3 : Kotipelto is a Finnish melodic power metal self-named band by Timo Kotipelto created during a hiatus in activity for power metal band Stratovarius. Kotipelto has been commercially well received in their native Finland, with a Top 10 single "Beginning" from his first release "Waiting for the Dawn", and lyrics often concentrating on ancient Egyptian themes. Context_4 : Fourth Dimension is the fourth studio album by power metal band Stratovarius, released on 11 April 1995 through Noise Records. The album is the band's first to feature vocalist Timo Kotipelto as well as the last with keyboardist Antti Ikonen and drummer Tuomo Lassila, thus being the last Stratovarius album to date featuring an all-Finnish line-up. Founding member and guitarist Timo Tolkki, who had served as the band's vocalist for their first three albums, still provided background vocals on "Fourth Dimension" before handing over lead singing duties to Kotipelto for all subsequent albums. Context_5 : Dreamspace is the third studio album by power metal band Stratovarius, released on 9 February 1994 through Noise Records. It is the last Stratovarius album to feature guitarist Timo Tolkki on vocals (after which Timo Kotipelto became the lead singer on 1995's "Fourth Dimension"), as well as the first to feature bassist Jari Kainulainen. Context_6 : Jani Allan Kristian Liimatainen (born 9 September 1980 in Kemi, Finland) is a Finnish musician, songwriter and backing vocalist. He is the former guitarist and one of the founding members of the power metal band Sonata Arctica. He has also performed with Cain's Offering, Altaria and Stratovarius vocalist Timo Kotipelto (his band mate in Cain's Offering). Context_7 : Timo Antero Kotipelto (born 15 March 1969 in Lappajarvi, Finland) is the vocalist of the Finnish power metal band Stratovarius and is the creator and vocalist of the power metal band Kotipelto. Kotipelto is currently the longest standing member of Stratovarius, after the departure of Timo Tolkki. Context_8 : David Paden Marchand (born November 20, 1975), known professionally as Davey Havok, is the lead vocalist of the American rock band AFI, the electronic music band Blaqk Audio, hardcore band XTRMST, and new wave band Dreamcar. Context_9 : Silence is the second full-length album by Finnish power metal band Sonata Arctica, released in 2001 through Spinefarm Records. It is the only studio album to feature keyboardist Mikko Harkin, and the first album with original member Marko Paasikoski, who returned to the band the previous year. Stratovarius lead singer Timo Kotipelto sang guest vocals on the album. Context_10 : XTRMST is an American straight edge hardcore band featuring Davey Havok and Jade Puget of AFI. XTRMST is Havok and Puget's second side project after their electronic project Blaqk Audio. They released their debut album "XTRMST" in 2014 on long-time friend Steve Aoki's Dim Mak Records. Havok and Puget later added Chris Sorenson (Saosin) on bass, Josh James (Stick to Your Guns, Evergreen Terrace), Casey Jones on guitar, and Val Saucedo (Loma Prieta, Punch) on drums. fact_1 : David Paden Marchand (born November 20, 1975), known professionally as Davey Havok, is the lead vocalist of the American rock band AFI, the electronic music band Blaqk Audio, hardcore band XTRMST, and new wave band Dreamcar. fact_2 : Timo Antero Kotipelto (born 15 March 1969 in Lappajarvi, Finland) is the vocalist of the Finnish power metal band Stratovarius and is the creator and vocalist of the power metal band Kotipelto. Question: Are Davey Havok and Timo Kotipelto lead vocalists?
yes