Title: Composability, Comprehensibility and Correctness of Working Software