Results for Ladder Logic