error a proposition