% EXPECT: valid

a0, a1, a2, a3, a4, a5: BOOLEAN;

ASSERT (a0 => a1);
ASSERT (a1 => a2);
ASSERT (a2 => a3);
ASSERT (a3 => a4);
ASSERT (a4 => a5);
ASSERT a0;

QUERY (a0 <=> a5);

% EXIT: 20