Extensions

Some useful extensions to proper