use plato;

$ex = NOT EXISTS (
    SELECT
        TRUE
    FROM Input
);

SELECT $ex
