Add two relation assertions, correct a mistake in angle calculation