Symbolic Logic Rules Of Replacement