Title: Functional analysis and semi-groups