TODO: Be bothered to write out
TODO: Be bothered, note the significance of the finite-ness of A - see Extended real value
TODO: Be bothered
TODO: Again - be bothered