Soundness:
Safeness:
