SPACELAB - KOONYUM PROOFS