default values for boolean assumptions
Update specs for initialize