RPSZ: added and perfectioned some logics