"Companion Objects" fully verified