User:Dr.steven.lord/Weak trace-class operator