Forward to Software Logic