Drugs not included in this list shall be considered non formulary and are NOT COVERED cialis professional All analyses were based on the intention to treat principle and used the treatment assignment determined at randomization, regardless of the treatment status at the time of analysis