On online : If a as proof