include("1To3monotLaws.txt").
include("4_5monotLaws.txt").