Triangle tests and proposition tests updated