Logical song