It would be something like the orreries he'd seen used for demonstrations of planetary movement.
He had seen orreries used in demonstrations before.
He hadn't seen orreries used in demonstrations before.