facts about A1
more specific facts about A1
 added test facts to A2, A3.
added facts about A4
added facts about A4
added facts about A5