Closes Boole#10 (closed)
Goes together with Boole!413 (merged) Rec!3113 (merged) Allen!983 (merged) Analysis!920 (merged)