Title: Idealistic logic