Added getter for sprime state
Finished upperP implementation
Finished QUpper implementation