Original: When his class arrives they discover that their substitute teacher has not shown up.
Simplified: When his class arrives they find that their substitute teacher has not shown up.