bookFlight(): SecureChannel, Schedule |- Booking
login(): Password |- SecureChannel
Goal(): Site |- Complete