ASPECT ARCHITECTURE - KIAMBA PROOFS