check some assumptions