אילו מהדוגמאות הבאות אינו דוגמא לתוכנה אופקית?