Existential operators for safety
Refactor away unnecessary local assign of class prop