Diagonal Logic (Study)