Edited ProofsFamily Session