Telefona gönder: Logical construction of programs /